$\forall$${\it es}$:ES, $Q$, $R$:(E$\rightarrow$E$\rightarrow\mathbb{P}$), $B$:Type, $f$:Top. Q{-}R{-}glued(${\it es}$; $B$; $f$; p{-}first([]); $Q$; p{-}first([]); $R$)